From df176856133c4cb460aa5b350e98ed5c4b2b1166 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Thu, 8 Dec 2005 15:25:44 +0100 Subject: [PATCH] A small VMX code cleanup. Signed-off-by: Eddie Dong --- xen/arch/x86/vmx_io.c | 2 +- xen/arch/x86/vmx_vmcs.c | 3 --- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/xen/arch/x86/vmx_io.c b/xen/arch/x86/vmx_io.c index 5caa59bc04..75c40e350f 100644 --- a/xen/arch/x86/vmx_io.c +++ b/xen/arch/x86/vmx_io.c @@ -748,7 +748,7 @@ void vmx_check_events(struct vcpu *v) { /* clear the event *before* checking for work. This should avoid the set-and-check races */ - if (vmx_clear_pending_io_event(current)) + if (vmx_clear_pending_io_event(v)) vmx_io_assist(v); } diff --git a/xen/arch/x86/vmx_vmcs.c b/xen/arch/x86/vmx_vmcs.c index 55d7741f2e..d434724c1b 100644 --- a/xen/arch/x86/vmx_vmcs.c +++ b/xen/arch/x86/vmx_vmcs.c @@ -243,9 +243,6 @@ static void vmx_setup_platform(struct domain* d) { struct vmx_platform *platform; - if (!(VMX_DOMAIN(current) && (current->vcpu_id == 0))) - return; - vmx_map_io_shared_page(d); vmx_set_vcpu_nr(d); -- 2.30.2